- 2 402 202 книги
- Поиск
Control of Uncertain Systems: Modelling, Approximation, and Design: A Workshop on the Occasion of Keith Glover's 60th Birthday (Lecture Notes in Control and Information Sciences)
Автор: Bruce A. Francis, Автор: Malcolm C. Smith, Автор: Jan C. Willems
Размер книги: 5.94 Mb
Contemporary Perspectives In Critical And Social Philosophy (Social and Critical Theory: a Critical Horizons Book Series)
Автор: John F. Rundell, Автор: Danielle Petherbridge, Автор: Jan Bryant, Автор: John Hewitt, Автор: Jeremy Smith
Размер книги: 1.60 Mb
Next Generation SSH2 Implementation: Securing Data in Motion
Автор: Max Caceres, Автор: Aaron E. Earle, Автор: Devin Ganger, Автор: Wipul Jayawickrama, Автор: Jan Kanclirz Jr., Автор: Dane Liu, Автор: Tim Robichaux, Автор: Eric S. Seagren, Автор: Brad Smith, Автор: Christopher StokesКатегория: Математика, Алгоритмы и структуры данных
Размер книги: 7.16 Mb
Psychology for Nurses and the Caring Professions 2nd Edition (Social Science for Nurses Caring Professions)
Автор: Jan Walker, Автор: Sheila Payne, Автор: Nikki Jarrett, Автор: Paula SmithКатегория: Психология
Размер книги: 1.71 Mb
International Equity Investing
Автор: Rodger F. Smith, Автор: Gary L. Bergstrom, Автор: William P. Marshall, Автор: David P. Feldman, Автор: Jan Twardowski, Автор: David I. Fisher, Автор: Karl Van Horn, Автор: Michael W.R. Dobson; James R. Vertin, Автор: Ivan Pictet; Dawin M. Bayston, Автор: Robert J. Boyd; Jeremy D. Paulson-Ellis
Размер книги: 3.36 Mb
American Science Fiction TV: "Star Trek", "Stargate" and Beyond (Popular TV Genres)
Автор: Jan Johnson-Smith
Размер книги: 1.67 Mb
Psychology for Nurses and the Caring Professions (Social Science for Nurses and the Caring Professions)
Автор: Jan Walker, Автор: Sheila Payne, Автор: Paula Smith, Автор: Nikki Jarrett
Размер книги: 2.60 Mb
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995
Автор: Giovanni Sambin, Автор: Jan M. Smith
Размер книги: 14.04 Mb
Control of uncertain systems--modelling, approximation, and design: a workshop on the occasion of Keith Glover's 60th birthday
Автор: Bruce A. Francis, Автор: Malcolm C. Smith, Автор: Jan C. Willems
Размер книги: 9.89 Mb
Programming in Martin-Lof's Type Theory: An Introduction
Автор: Bengt Nordstrom, Автор: Kent Petersson, Автор: Jan M. Smith
Размер книги: 1024 Kb
Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995
Автор: Giovanni Sambin, Автор: Jan M. SmithКатегория: Mathematical logic
Размер книги: 2.07 Mb
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
Автор: Bengt Nordstrom, Автор: Kent Petersson, Автор: Jan M. Smith
Размер книги: 693 Kb
Reichel's Care of the Elderly: Clinical Aspects of Aging
Автор: Christine Arenson, Автор: Jan Busby-Whitehead, Автор: Kenneth Brummel-Smith, Автор: James G. O'Brien, Автор: Mary H. Palmer, Автор: William ReichelКатегория: science_books, medicine
Размер книги: 8.53 Mb
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Автор: Peter Dybjer, Автор: Bengt Nordström, Автор: Jan Smith
Размер книги: 1.98 Mb
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Автор: Thierry Coquand, Автор: Peter Dybjer, Автор: Bengt Nordström, Автор: Jan Smith
Размер книги: 1.42 Mb